Diego Latella (u. A.) | Formal Methods For Distributed System

Formal Methods For Distributed System Development Forte / Pstv 2000

Distributed Abstract State Machine For Grid Services A Formal Method

Mahesh Viswanathan (u. A.) | Formal Techniques For Distributed

Catuscia Palamidessi (u. A.) | Formal Techniques For Distributed

Formal Methods For Protocol Engineering And Distributed Systems Forte

Designing Reliable Distributed Systems A Formal Methods Approach Based

Formal Methods For Open Object-based Distributed Systems V Ifip Tc6 /

Charles Pecheur (u. A.) | Formal Methods For Industrial Critical

Markus Roggenbach (u. A.) | Formal Methods ¿ Fun For Everybody |

Francesco Flammini (u. A.) | Formal Methods For Industrial Critical

Einar Broch Johnsen (u. A.) | Formal Methods For Multicore Programming

Bernhard Beckert (u. A.) | Formal Methods For Components And Objects |

Marco Bernardo (u. A.) | Formal Methods For Executable Software Models

Paolo Ciancarini (u. A.) | Formal Methods For Open Object-based

Arend Rensink (u. A.) | Formal Methods For Open Object-based